#!/bin/bash

CONFIG="defconfig 32-bit.config" ./build_linux.sh $1
